Fighting for space

Fighting State Space Explosion: Review and Evaluation

In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner’s point of view. We provide a systematic overview of techniques for fighting state space explosion and we ana...

Fighting poverty, fighting AIDS.

J effrey sachs is an economist, not an evangelist. But give the man 10 minutes behind a microphone, and a scholarly symposium starts to feel like a revival meeting. “Ladies and gentlemen,” he tells a hushed hall after describing how AIDS sufferers die in Malawi for want of $1-a-day drugs, “this plague is exploding. Its consequences will make the world quake. Rich countries could stop the devast...

Radioiodination of a natural toxin (ICD-85) for fighting cancer

Introduction: Many molecules can be labeled by iodine. Some of labeled substances are used for investigations of cancer treatment, biodistribution study in body, receptor binding, secrete pathway etc. Peptides are biomolecules and can be labeled by 131Iodine. ICD- 85 is a tri-peptide derived from Iranian brown snake venom and scorpion venom. This tri-peptide treats cancer by i...

Fighting for air.

Felids fighting for survival

Long before humans left Africa to conquer the rest of the world, the first felids started their bid for world domination from their native Asia. Genome research has shown that the last common ancestor of today's cat-like species lived in Asia some 10.8 million years ago, and that its descendants started to migrate to Africa and the Americas 9 million years ago (Annu. Rev. Genomics Hum. Genet. (...